sirjani, Marjan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Complexity Challenges in Development of Cyber-Physical Systems

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 645 KB

english, 2018

2

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Anytime Algorithms in Time-Triggered Control Systems

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 374 KB

english, 2018

3

A Survey of Active Object Languages

Boer, Frank De, Fernandez-Reyes, Kiko, Yang, Albert Mingkun, Serbanescu, Vlad, Hähnle, Reiner, Henrio, Ludovic, Rochas, Justine, Din, Crystal Chang, Johnsen, Einar Broch, Sirjani, Marjan, Khamespanah,

Journal:

ACM Computing Surveys

Year:

2017

Language:

english

File:

PDF, 1.65 MB

english, 2017

4

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 344 KB

english, 2018

5

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Model-Based Representations for Dataflow Schedules

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 773 KB

english, 2018

6

[IEEE 2007 IEEE International Symposium on Circuits and Systems - New Orleans, LA, USA (2007.05.27-2007.05.30)] 2007 IEEE International Symposium on Circuits and Systems - A New Approach for Design and Verification of Transaction Level Models

Kakoee, Mohammad Reza, Shojaei, Hamid, Ghasemzadeh, Hassan, Sirjani, Marjan, Navabi, Zainalabedin

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

7

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Modeling Dynamical Phenomena in the Era of Big Data

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 346 KB

english, 2018

8

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

9

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.43 MB

english, 2018

10

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

11

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Cyber-Physical Systems Education: Explorations and Dreams

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.40 MB

english, 2018

12

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017)

Dastani, Mehdi, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 129 KB

english, 2019

13

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

14

[ACM Press the 4th International Workshop - Portland, Oregon, USA (2014.10.20-2014.10.20)] Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control - AGERE! '14 - Event-Based Analysis of Timed Rebeca Models using SQL

Magnusson, Brynjar, Khamespanah, Ehsan, Khosravi, Ramtin, Sirjani, Marjan

Year:

2014

Language:

english

File:

PDF, 497 KB

english, 2014

15

Preface

Carlos Canal, Pascal Poizat, Marjan Sirjani

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 136 KB

english, 2011

16

[Lecture Notes in Computer Science] Principles of Modeling Volume 10760 (Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday) || A Semantic Account of Rigorous Simulation

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.32 MB

english, 2018

17

Automated Mapping of Reo Circuits to Constraint Automata

Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 438 KB

english, 2006

18

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Modere

Jaghoori, Mohammad Mahdi, Movaghar, Ali, Sirjani, Marjan

Year:

2006

Language:

english

File:

PDF, 183 KB

english, 2006

19

Preface

Farhad Arbab, Marjan Sirjani

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 65 KB

english, 2006

20

[Lecture Notes in Computer Science] International Symposium on Fundamentals of Software Engineering Volume 4767 || A Review on Specifying Software Architectures Using Extended Automata-Based Models

Arbab, Farhad, Sirjani, Marjan

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

21

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10469 || On Approximate Diagnosability of Metric Systems

Cimatti, Alessandro, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 268 KB

english, 2017

22

[IEEE 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Cosenza, Italy (2019.10.7-2019.10.9)] 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT) - Analysing Real-time Distributed Systems using Timed Actors

Sirjani, Marjan

Year:

2019

File:

PDF, 4.10 MB

2019

23

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Developing Safe Smart Contracts

Rezaei, Sajjad, Khamespanah, Ehsan, Sirjani, Marjan, Sedaghatbaf, Ali, Mohammadi, Siamak

Year:

2020

File:

PDF, 127 KB

2020

24

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 8161 ||

Arbab, Farhad, Sirjani, Marjan

Year:

2013

Language:

english

File:

PDF, 9.99 MB

english, 2013

25

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || Typing Asymmetric Client-Server Interaction

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 279 KB

english, 2010

26

[IEEE 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Vienna, Austria (2020.9.8-2020.9.11)] 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Towards Formal Analysis of Vehicle Platoons Using Actor Model

Sharifi, Zeinab, Khosravi, Ramtin, Sirjani, Marjan, Khamespanah, Ehsan

Year:

2020

File:

PDF, 291 KB

2020

27

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems

Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Reza Mousavi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 339 KB

english, 2010

28

[ACM Press the 4th International Workshop - Portland, Oregon, USA (2014.10.20-2014.10.20)] Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control - AGERE! '14 - Efficient TCTL Model Checking Algorithm for Timed Actors

Khamespanah, Ehsan, Khosravi, Ramtin, Sirjani, Marjan

Year:

2014

Language:

english

File:

PDF, 1020 KB

english, 2014

29

Statistical Model Checking of Timed Rebeca Models

Jafaria, Ali, Kristinsson, Haukur, Khamespanah, Ehsan, Sirjani, Marjan, Magnusson, Brynjar

Journal:

Computer Languages, Systems & Structures

Year:

2016

Language:

english

File:

PDF, 784 KB

english, 2016

30

[ACM Press the 6th Conference - Bucharest, Romania (2019.09.02-2019.09.03)] Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 - Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments

Salimi, Maghsood, Majd, Amin, Loni, Mohammad, Seceleanu, Tiberiu, Seceleanu, Cristina, Sirjani, Marjan, Daneshtalab, Masoud, Troubitsyna, Elena

Year:

2019

Language:

english

File:

PDF, 2.07 MB

english, 2019

31

Symbolic execution of Reo circuits using constraint automata

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 921 KB

english, 2012

32

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - Safe and efficient fleet operation for autonomous machines

Jafari, Ali, Nair, Jayasoorya Jayanthi Surendran, Baumgart, Stephan, Sirjani, Marjan

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

33

Comparing Three Coordination Models: Reo, ARC, and RRD

Carolyn Talcott, Marjan Sirjani, Shangping Ren

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 420 KB

english, 2008

34

Modelling and simulation of asynchronous real-time systems using Timed Rebeca

Reynisson, Arni Hermann, Sirjani, Marjan, Aceto, Luca, Cimini, Matteo, Jafari, Ali, Ingolfsdottir, Anna, Sigurdarson, Steinar Hugi

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 704 KB

english, 2014

35

Compositional schedulability analysis of real-time actor-based systems

Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 2.61 MB

english, 2017

36

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 10522 || Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes

Dastani, Mehdi, Sirjani, Marjan

Year:

2017

Language:

english

File:

PDF, 385 KB

english, 2017

37

Runtime compositional analysis of track-based traffic control systems

Bagheri, Maryam, Khamespanah, Ehsan, Sirjani, Marjan, Movaghar, Ali, Lee, Edward A.

Journal:

ACM SIGBED Review

Year:

2017

Language:

english

File:

PDF, 791 KB

english, 2017

38

[IEEE 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - Milwaukee, WI, USA (2019.7.15-2019.7.19)] 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) - An Actor-Based Design Platform for System of Systems

Sirjani, Marjan, Forcina, Giorgio, Jafari, Ali, Baumgart, Stephan, Khamespanah, Ehsan, Sedaghatbaf, Ali

Year:

2019

Language:

english

File:

PDF, 38 KB

english, 2019

39

[IEEE 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Madrid, Spain (2020.7.13-2020.7.17)] 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) - Model Checking Software in Cyberphysical Systems

Sirjani, Marjan, Lee, Edward A., Khamespanah, Ehsan

Year:

2020

File:

PDF, 566 KB

2020

40

Automated Analysis of Reo Circuits using Symbolic Execution

Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 794 KB

english, 2009

41

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude

Sabahi-Kaviani, Zeynab, Khosravi, Ramtin, Ölveczky, Peter Csaba, Khamespanah, Ehsan, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.73 MB

english, 2015

42

PTRebeca: Modeling and analysis of distributed and asynchronous systems

Jafari, Ali, Khamespanah, Ehsan, Sirjani, Marjan, Hermanns, Holger, Cimini, Matteo

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 4.14 MB

english, 2016

43

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015)

Dastani, Mehdi, Hojjat, Hossein, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 173 KB

english, 2017

44

Coordinated actor model of self-adaptive track-based traffic control systems

Bagheri, Maryam, Sirjani, Marjan, Khamespanah, Ehsan, Khakpour, Narges, Akkaya, Ilge, Movaghar, Ali, Lee, Edward A.

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 1.70 MB

english, 2018

45

[ACM Press the 56th Annual Design Automation Conference 2019 - Las Vegas, NV, USA (2019.06.02-2019.06.06)] Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19 - Actors Revisited for Time-Critical Systems

Lohstroh, Marten, Schoeberl, Martin, Goens, Andrés, Wasicek, Armin, Gill, Christopher, Sirjani, Marjan, Lee, Edward A.

Year:

2019

Language:

english

File:

PDF, 562 KB

english, 2019

46

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || Evolution Control in MDE Projects: Controlling Model and Code Co-evolution

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 141 KB

english, 2010

47

[Lecture Notes in Computer Science] Fundamentals of Software Engineering Volume 5961 || Applying Step Coverability Trees to Communicating Component-Based Systems

Arbab, Farhad, Sirjani, Marjan

Year:

2010

Language:

english

File:

PDF, 308 KB

english, 2010

48

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks

Sirjani, Marjan, Khamespanah, Ehsan, Mechitov, Kirill, Agha, Gul

Journal:

ACM SIGBED Review

Year:

2017

Language:

english

File:

PDF, 1014 KB

english, 2017

49

[IEEE International Conference on Software Engineering Advances (ICSEA 2007) - Cap Esterel, France (2007.08.25-2007.08.31)] International Conference on Software Engineering Advances (ICSEA 2007) - ReUML: a UML Profile for Modeling and Verification of Reactive Systems

Alavizaedh, S. Fatemeh, Nekoo, Alireza Hashemi, sirjani, Marjan

Year:

2007

Language:

english

File:

PDF, 274 KB

english, 2007

50

[IEEE 2008 IEEE International Symposium on Service-Oriented System Engineering (SOSE) - Jhongli, Taiwan (2008.12.18-2008.12.19)] 2008 IEEE International Symposium on Service-Oriented System Engineering - QoS Aspects in Web Services Compositions

Mahdikhani, Farzad, Hashemi, Mahmoud Reza, Sirjani, Marjan

Year:

2008

Language:

english

File:

PDF, 232 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски